Diclib.com
Diccionario ChatGPT

Búsqueda en el diccionario Soluciones personalizadas

Ingrese una palabra o frase en cualquier idioma 👆

Idioma:

Traducción y análisis de palabras por inteligencia artificial ChatGPT

En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:

cómo se usa la palabra
frecuencia de uso
se utiliza con más frecuencia en el habla oral o escrita
opciones de traducción
ejemplos de uso (varias frases con traducción)
etimología

Carine - traducción al francés

THEOREM PROVER, A MATHEMATICAL CONCEPT

Delayed clause construction; Semi-linear resolution; Delayed Clause Construction; Semi-Linear Resolution; Carine theorem prover

Carine

n. Carine, female first name

carinate

carinated, having a carina, having a ridge-like shape (Botany, Zoology)

Definición

little owl

¦ noun a small owl with speckled plumage, native to Eurasia and Africa. [Athene noctua.]

Mostrar más definiciones

Wikipedia

CARINE

CARINE (Computer Aided Reasoning Engine) is a first-order classical logic automated theorem prover. It was initially built for the study of the enhancement effects of the strategies delayed clause-construction (DCC) and attribute sequences (ATS) in a depth-first search based algorithm. CARINE's main search algorithm is semi-linear resolution (SLR) which is based on an iteratively-deepening depth-first search (also known as depth-first iterative-deepening (DFID)) and used in theorem provers like THEO. SLR employs DCC to achieve a high inference rate, and ATS to reduce the search space.

https://en.wikipedia.org/wiki/CARINE

Ejemplos de uso de Carine

1. Recette culte: «Macaroni aux truffes noires et foie gras». Célébrités: Catherine Deneuve, Carine Roitfeld.

2. Carine Zuber, qui programme Cully, offre une carte blanche ŕ un pilier du festival.

3. Ghislaine Bloch L‘entrepreneur Rudi Pauwels a créé avec sa femme Carine Claeys la société Tibotec en 1''4.

4. Pour l‘heure, au Département fédéral des affaires étrang';res, Carine Carey, porte–parole, déclare qu‘aucune décision n‘a encore été prise.

5. Et celui d‘Osaka, le 31 mars 2008. «Mais la Suisse disposera toujours d‘une antenne commerciale sur place», précise Carine Carey.